{
    {
        function z() -> x { x := y() }
        function y() -> x { x := z() }
    }
    {
        function z() -> x { x := y() }
        function y() -> x { x := z() }
    }
}
// ----
// step: circularReferencesPruner
//
// { { } }
